perm filename W80.OUT[LET,JMC] blob
sn#864703 filedate 1981-01-09 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00329 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00023 00002
C00024 00003 ∂03-Jan-80 1916 JMC via SU-TIP
C00025 00004 ∂03-Jan-80 2226 JMC imlac
C00026 00005 ∂03-Jan-80 2354 JMC
C00027 00006 ∂05-Jan-80 1456 JMC
C00028 00007 ∂06-Jan-80 1534 JMC Detaching Imlac from system.
C00029 00008 ∂06-Jan-80 2021 JMC Your contract example
C00030 00009 ∂06-Jan-80 2051 JMC
C00031 00010 ∂07-Jan-80 0026 JMC imlac detachment
C00032 00011 ∂07-Jan-80 1346 JMC
C00033 00012 ∂07-Jan-80 1353 JMC iii meeting
C00034 00013 ∂07-Jan-80 1708 JMC
C00035 00014 ∂07-Jan-80 1851 JMC via SU-TIP
C00036 00015 ∂07-Jan-80 1851 JMC via SU-TIP
C00037 00016 ∂08-Jan-80 1023 JMC
C00038 00017 ∂08-Jan-80 1329 JMC
C00039 00018 ∂08-Jan-80 1902 JMC
C00040 00019 ∂08-Jan-80 2230 JMC
C00041 00020 ∂08-Jan-80 2235 JMC
C00042 00021 ∂08-Jan-80 2238 JMC
C00043 00022 ∂09-Jan-80 1910 JMC
C00044 00023 ∂09-Jan-80 1913 JMC
C00045 00024 ∂09-Jan-80 1924 JMC
C00046 00025 ∂10-Jan-80 1051 JMC
C00047 00026 ∂10-Jan-80 1124 JMC dugan
C00048 00027 ∂10-Jan-80 1129 JMC
C00049 00028 ∂10-Jan-80 1342 JMC datamedia
C00050 00029 ∂10-Jan-80 1411 JMC student word processing
C00051 00030 ∂12-Jan-80 1433 JMC dinner declination
C00052 00031 ∂13-Jan-80 1729 JMC via SU-TIP
C00053 00032 ∂13-Jan-80 1811 JMC doing it myself
C00054 00033 ∂13-Jan-80 2105 JMC
C00055 00034 ∂13-Jan-80 2225 JMC
C00056 00035 ∂14-Jan-80 1120 JMC decorating a letter
C00057 00036 ∂14-Jan-80 1347 JMC speaker
C00058 00037 ∂14-Jan-80 1422 JMC second year
C00059 00038 ∂14-Jan-80 1430 JMC
C00060 00039 ∂15-Jan-80 0038 JMC
C00061 00040 ∂15-Jan-80 1338 JMC michie address
C00062 00041 ∂15-Jan-80 1947 JMC
C00063 00042 ∂15-Jan-80 2030 JMC
C00064 00043 ∂15-Jan-80 2352 JMC
C00066 00044 ∂15-Jan-80 2354 JMC
C00067 00045 ∂16-Jan-80 1314 JMC
C00068 00046 ∂16-Jan-80 1325 JMC
C00069 00047 ∂16-Jan-80 1558 JMC dialnet
C00070 00048 ∂16-Jan-80 1711 JMC wide band digital
C00072 00049 ∂16-Jan-80 1737 JMC
C00073 00050 ∂17-Jan-80 0146 JMC
C00074 00051 ∂17-Jan-80 1328 JMC seminar speaker
C00075 00052 ∂17-Jan-80 1443 JMC
C00077 00053 ∂17-Jan-80 1459 JMC your talk and job offer
C00079 00054 ∂17-Jan-80 1608 JMC common sense physics
C00080 00055 ∂17-Jan-80 1627 JMC reiter.xgp
C00081 00056 ∂17-Jan-80 1633 JMC Suppes offer for KA.
C00083 00057 ∂17-Jan-80 1640 JMC
C00084 00058 ∂18-Jan-80 1111 JMC
C00085 00059 ∂18-Jan-80 1418 JMC
C00086 00060 ∂18-Jan-80 1527 JMC
C00087 00061 ∂18-Jan-80 1634 JMC
C00088 00062 ∂18-Jan-80 2116 JMC
C00089 00063 ∂18-Jan-80 2225 JMC
C00090 00064 ∂18-Jan-80 2227 JMC
C00091 00065 ∂18-Jan-80 2254 JMC C
C00092 00066 ∂19-Jan-80 0030 JMC Baskett
C00093 00067 ∂19-Jan-80 1637 JMC copies of circumscription paper
C00094 00068 ∂21-Jan-80 0149 JMC Please send
C00095 00069 ∂22-Jan-80 1353 JMC
C00096 00070 ∂23-Jan-80 2338 JMC visit to Grinnell today
C00097 00071 ∂24-Jan-80 0956 JMC meeting today
C00098 00072 ∂24-Jan-80 1200 JMC
C00099 00073 ∂24-Jan-80 1317 JMC
C00100 00074 ∂24-Jan-80 1811 JMC
C00101 00075 ∂25-Jan-80 1056 JMC
C00102 00076 ∂25-Jan-80 1211 JMC
C00103 00077 ∂25-Jan-80 1808 JMC
C00104 00078 ∂26-Jan-80 1418 JMC release form to ACM
C00105 00079 ∂26-Jan-80 1633 JMC biography and photo
C00106 00080 ∂27-Jan-80 0838 JMC bookcases for office
C00107 00081 ∂27-Jan-80 1102 JMC
C00108 00082 ∂27-Jan-80 2219 JMC
C00109 00083 ∂28-Jan-80 1054 JMC
C00110 00084 ∂28-Jan-80 1116 JMC social security number to UCLA
C00111 00085 ∂28-Jan-80 1339 JMC money
C00112 00086 ∂28-Jan-80 1833 JMC
C00113 00087 ∂28-Jan-80 1841 JMC
C00114 00088 ∂28-Jan-80 1851 JMC LLL use
C00115 00089 ∂28-Jan-80 1859 JMC lll again
C00116 00090 ∂28-Jan-80 2357 JMC
C00117 00091 ∂29-Jan-80 1531 JMC
C00119 00092 ∂29-Jan-80 1620 JMC
C00120 00093 ∂29-Jan-80 1634 JMC Grinnell
C00121 00094 ∂29-Jan-80 2208 JMC
C00122 00095 ∂29-Jan-80 2257 JMC
C00123 00096 ∂29-Jan-80 2342 JMC
C00125 00097 ∂30-Jan-80 0949 JMC computer facilities
C00126 00098 ∂30-Jan-80 1419 JMC
C00127 00099 ∂30-Jan-80 1522 JMC
C00128 00100 ∂30-Jan-80 1534 JMC
C00129 00101 ∂30-Jan-80 1635 JMC
C00130 00102 ∂30-Jan-80 2226 JMC
C00131 00103 ∂30-Jan-80 2326 JMC
C00133 00104 ∂31-Jan-80 1033 JMC
C00134 00105 ∂31-Jan-80 1142 JMC distribution of a memo
C00135 00106 ∂31-Jan-80 2017 JMC requests to XGP
C00136 00107 ∂31-Jan-80 2153 JMC
C00137 00108 ∂01-Feb-80 1129 JMC
C00138 00109 ∂01-Feb-80 1131 JMC
C00139 00110 ∂01-Feb-80 1317 JMC
C00140 00111 ∂01-Feb-80 1417 JMC
C00141 00112 ∂01-Feb-80 1433 JMC doyle
C00142 00113 ∂01-Feb-80 1641 JMC
C00143 00114 ∂01-Feb-80 1908 JMC
C00144 00115 ∂01-Feb-80 1952 JMC
C00145 00116 ∂02-Feb-80 0815 JMC
C00146 00117 ∂02-Feb-80 2321 JMC
C00147 00118 ∂04-Feb-80 0155 JMC Syllabus
C00148 00119 ∂05-Feb-80 0912 JMC
C00149 00120 ∂05-Feb-80 1749 JMC raviv
C00150 00121 ∂06-Feb-80 0914 JMC
C00151 00122 ∂06-Feb-80 1718 JMC xgp
C00152 00123 ∂06-Feb-80 2316 JMC
C00153 00124 ∂08-Feb-80 1634 JMC
C00154 00125 ∂09-Feb-80 1044 JMC
C00155 00126 ∂09-Feb-80 1414 JMC
C00156 00127 ∂09-Feb-80 1757 JMC 4331
C00157 00128 ∂09-Feb-80 1809 JMC
C00158 00129 ∂10-Feb-80 2116 JMC xgp
C00159 00130 ∂11-Feb-80 1106 JMC
C00160 00131 ∂11-Feb-80 1553 JMC Raymond Reiter
C00161 00132 ∂11-Feb-80 1554 JMC visit
C00162 00133 ∂11-Feb-80 1558 JMC
C00163 00134 ∂11-Feb-80 1559 JMC
C00164 00135 ∂11-Feb-80 1832 JMC
C00165 00136 ∂12-Feb-80 1407 JMC
C00166 00137 ∂12-Feb-80 1436 JMC more on visa application
C00167 00138 ∂12-Feb-80 1438 JMC terminal
C00168 00139 ∂12-Feb-80 1509 JMC
C00169 00140 ∂12-Feb-80 1528 JMC
C00170 00141 ∂12-Feb-80 1832 JMC
C00171 00142 ∂13-Feb-80 1336 JMC
C00172 00143 ∂13-Feb-80 1338 JMC
C00173 00144 ∂13-Feb-80 1441 JMC
C00174 00145 ∂13-Feb-80 1444 JMC
C00175 00146 ∂13-Feb-80 1450 JMC
C00176 00147 ∂13-Feb-80 1452 JMC
C00177 00148 ∂13-Feb-80 1453 JMC
C00178 00149 ∂13-Feb-80 1455 JMC
C00179 00150 ∂13-Feb-80 1534 JMC
C00180 00151 ∂13-Feb-80 1606 JMC
C00181 00152 ∂13-Feb-80 1816 JMC
C00182 00153 ∂14-Feb-80 1125 JMC via SU-SCORE
C00183 00154 ∂14-Feb-80 1409 JMC
C00184 00155 ∂14-Feb-80 1508 JMC
C00185 00156 ∂15-Feb-80 1451 JMC
C00186 00157 ∂15-Feb-80 1452 JMC
C00187 00158 ∂15-Feb-80 1458 JMC
C00188 00159 ∂15-Feb-80 1534 JMC
C00189 00160 ∂16-Feb-80 1100 JMC equipment
C00191 00161 ∂16-Feb-80 1320 JMC
C00192 00162 ∂17-Feb-80 1423 JMC
C00194 00163 ∂17-Feb-80 1926 JMC
C00195 00164 ∂17-Feb-80 1926 JMC
C00196 00165 ∂20-Feb-80 2015 JMC
C00197 00166 ∂20-Feb-80 2016 JMC
C00198 00167 ∂20-Feb-80 2018 JMC
C00199 00168 ∂21-Feb-80 1034 JMC via SU-TIP
C00200 00169 ∂21-Feb-80 1036 JMC via SU-TIP
C00201 00170 ∂22-Feb-80 0023 JMC
C00202 00171 ∂22-Feb-80 0024 JMC imlac
C00203 00172 ∂22-Feb-80 0934 JMC
C00204 00173 ∂22-Feb-80 1658 JMC
C00205 00174 ∂22-Feb-80 1756 JMC j,pat
C00206 00175 ∂22-Feb-80 1840 JMC
C00207 00176 ∂24-Feb-80 1459 JMC Minsky and JMC idea
C00208 00177 ∂24-Feb-80 1557 JMC
C00209 00178 ∂24-Feb-80 1831 JMC
C00210 00179 ∂24-Feb-80 2301 JMC Another skyhook
C00212 00180 ∂24-Feb-80 2308 JMC
C00213 00181 ∂25-Feb-80 0113 JMC
C00214 00182 ∂25-Feb-80 0127 JMC
C00215 00183 ∂25-Feb-80 1204 JMC
C00216 00184 ∂25-Feb-80 1212 JMC
C00217 00185 ∂25-Feb-80 1512 JMC
C00218 00186 ∂25-Feb-80 1710 JMC Ballistic Support of Space Stations
C00219 00187 ∂25-Feb-80 1732 JMC
C00220 00188 ∂25-Feb-80 1859 JMC
C00221 00189 ∂25-Feb-80 1938 JMC
C00222 00190 ∂26-Feb-80 0114 JMC
C00224 00191 ∂26-Feb-80 1115 JMC
C00225 00192 ∂26-Feb-80 1348 JMC
C00226 00193 ∂26-Feb-80 1414 JMC
C00227 00194 ∂26-Feb-80 2037 JMC
C00228 00195 ∂26-Feb-80 2054 JMC
C00229 00196 ∂27-Feb-80 1955 JMC
C00230 00197 ∂28-Feb-80 0829 JMC
C00231 00198 ∂28-Feb-80 1613 JMC
C00232 00199 ∂28-Feb-80 1719 JMC
C00233 00200 ∂28-Feb-80 1719 JMC
C00234 00201 ∂29-Feb-80 0041 JMC line from computer to Imlac
C00235 00202 ∂29-Feb-80 0148 JMC
C00236 00203 ∂29-Feb-80 1033 JMC
C00237 00204 ∂29-Feb-80 1109 JMC
C00238 00205 ∂29-Feb-80 1806 JMC
C00239 00206 ∂01-Mar-80 1501 JMC send copy of israel speech
C00240 00207 ∂01-Mar-80 1505 JMC address
C00241 00208 ∂02-Mar-80 1018 JMC Heiss
C00242 00209 ∂02-Mar-80 1535 JMC
C00243 00210 ∂02-Mar-80 1540 JMC paper
C00244 00211 ∂03-Mar-80 1036 JMC
C00245 00212 ∂03-Mar-80 1128 JMC
C00246 00213 ∂03-Mar-80 1129 JMC stamps
C00247 00214 ∂03-Mar-80 1407 JMC
C00248 00215 ∂03-Mar-80 2203 JMC
C00249 00216 ∂04-Mar-80 1605 JMC
C00250 00217 ∂04-Mar-80 1712 JMC
C00251 00218 ∂05-Mar-80 1404 JMC
C00252 00219 ∂05-Mar-80 1405 JMC
C00253 00220 ∂05-Mar-80 1413 JMC
C00254 00221 ∂05-Mar-80 2012 JMC
C00255 00222 ∂06-Mar-80 0007 JMC
C00259 00223 ∂06-Mar-80 0059 JMC Sloman
C00260 00224 ∂06-Mar-80 0224 JMC
C00261 00225 ∂06-Mar-80 1034 JMC
C00262 00226 ∂06-Mar-80 1036 JMC
C00263 00227 ∂06-Mar-80 1053 JMC
C00265 00228 ∂06-Mar-80 1054 JMC
C00266 00229 ∂06-Mar-80 1634 JMC
C00267 00230 ∂06-Mar-80 1654 JMC 4331
C00268 00231 ∂06-Mar-80 1847 JMC
C00269 00232 ∂06-Mar-80 2313 JMC your project
C00271 00233 ∂07-Mar-80 1056 JMC
C00272 00234 ∂07-Mar-80 1126 JMC
C00273 00235 ∂07-Mar-80 1726 JMC
C00274 00236 ∂11-Mar-80 2059 JMC
C00275 00237 ∂11-Mar-80 2113 JMC mental.xgp
C00276 00238 ∂11-Mar-80 2117 JMC AI Memo 326
C00277 00239 ∂12-Mar-80 0000 JMC
C00278 00240 ∂12-Mar-80 0223 JMC
C00279 00241 ∂12-Mar-80 1126 JMC FILE
C00280 00242 ∂12-Mar-80 1258 JMC
C00281 00243 ∂12-Mar-80 1259 JMC
C00282 00244 ∂12-Mar-80 1301 JMC
C00283 00245 ∂12-Mar-80 1356 JMC
C00284 00246 ∂13-Mar-80 0126 JMC skyhook
C00287 00247 ∂13-Mar-80 1547 JMC
C00288 00248 ∂13-Mar-80 1634 JMC
C00289 00249 ∂14-Mar-80 0355 JMC prototype
C00290 00250 ∂15-Mar-80 1447 JMC
C00291 00251 ∂15-Mar-80 1641 JMC NSF renewal
C00292 00252 ∂15-Mar-80 1834 JMC offer
C00293 00253 ∂15-Mar-80 2056 JMC
C00294 00254 ∂16-Mar-80 1214 JMC
C00295 00255 ∂16-Mar-80 1903 JMC
C00296 00256 ∂16-Mar-80 2144 JMC searle
C00297 00257 ∂16-Mar-80 2146 JMC
C00298 00258 ∂16-Mar-80 2240 JMC Marchuk
C00299 00259 ∂17-Mar-80 0126 JMC
C00300 00260 ∂17-Mar-80 1128 JMC
C00302 00261 ∂17-Mar-80 1129 JMC paper
C00303 00262 ∂17-Mar-80 1210 JMC
C00304 00263 ∂17-Mar-80 1845 JMC
C00305 00264 ∂18-Mar-80 1130 JMC
C00306 00265 ∂18-Mar-80 1131 JMC
C00307 00266 ∂19-Mar-80 1424 JMC
C00308 00267 ∂19-Mar-80 1513 JMC dinner
C00309 00268 ∂19-Mar-80 1521 JMC
C00310 00269 ∂19-Mar-80 1538 JMC people interested in formalized legal reasoning
C00311 00270 ∂19-Mar-80 1647 JMC
C00312 00271 ∂19-Mar-80 1836 JMC
C00313 00272 ∂20-Mar-80 2155 JMC
C00314 00273 ∂20-Mar-80 2157 JMC
C00315 00274 ∂20-Mar-80 2237 JMC
C00316 00275 ∂21-Mar-80 0011 JMC
C00317 00276 ∂21-Mar-80 0024 JMC
C00318 00277 ∂21-Mar-80 1054 JMC
C00319 00278 ∂21-Mar-80 1055 JMC
C00320 00279 ∂21-Mar-80 1100 JMC
C00321 00280 ∂21-Mar-80 1204 JMC
C00322 00281 ∂21-Mar-80 1614 JMC
C00323 00282 ∂21-Mar-80 1644 JMC
C00324 00283 ∂21-Mar-80 1755 JMC
C00325 00284 ∂21-Mar-80 1756 JMC
C00326 00285 ∂21-Mar-80 1808 JMC
C00327 00286 ∂21-Mar-80 1810 JMC Alcoa unrestricted
C00328 00287 ∂21-Mar-80 1927 JMC
C00329 00288 ∂21-Mar-80 2230 JMC
C00330 00289 ∂22-Mar-80 1225 JMC
C00331 00290 ∂22-Mar-80 2243 JMC
C00332 00291 ∂23-Mar-80 1415 JMC
C00333 00292 ∂24-Mar-80 0044 JMC OFFICE
C00334 00293 ∂24-Mar-80 1337 JMC
C00335 00294 ∂24-Mar-80 1338 JMC
C00336 00295 ∂24-Mar-80 1532 JMC bbs address
C00337 00296 ∂24-Mar-80 1533 JMC
C00338 00297 ∂24-Mar-80 1644 JMC
C00339 00298 ∂24-Mar-80 1646 JMC
C00340 00299 ∂24-Mar-80 1701 JMC
C00341 00300 ∂24-Mar-80 1847 JMC
C00342 00301 ∂24-Mar-80 1848 JMC
C00343 00302 ∂25-Mar-80 1217 JMC
C00344 00303 ∂25-Mar-80 1403 JMC
C00345 00304 ∂25-Mar-80 1457 JMC letter and paper
C00346 00305 ∂25-Mar-80 1502 JMC
C00347 00306 ∂27-Mar-80 1706 JMC
C00348 00307 ∂28-Mar-80 1257 JMC
C00351 00308 ∂28-Mar-80 1423 JMC
C00352 00309 ∂28-Mar-80 2300 JMC your challenges
C00354 00310 ∂29-Mar-80 1621 JMC various
C00355 00311 ∂30-Mar-80 0134 JMC
C00356 00312 ∂30-Mar-80 0138 JMC
C00357 00313 ∂30-Mar-80 1529 JMC address space
C00358 00314 ∂30-Mar-80 1556 JMC
C00359 00315 ∂30-Mar-80 1603 JMC Binford letter
C00360 00316 ∂30-Mar-80 1608 JMC
C00361 00317 ∂30-Mar-80 2008 JMC imlac
C00362 00318 ∂31-Mar-80 0051 JMC
C00363 00319 ∂31-Mar-80 0059 JMC
C00364 00320 ∂31-Mar-80 0112 JMC
C00365 00321 ∂31-Mar-80 0923 JMC
C00366 00322 ∂31-Mar-80 1102 JMC
C00367 00323 ∂31-Mar-80 1220 JMC
C00368 00324 ∂31-Mar-80 2326 JMC
C00369 00325 ∂01-Apr-80 2043 JMC
C00370 00326 ∂01-Apr-80 2046 JMC
C00371 00327 ∂01-Apr-80 2111 JMC
C00372 00328 ∂01-Apr-80 2123 JMC Light in Frances's office
C00373 00329 ∂01-Apr-80 2154 JMC
C00374 ENDMK
C⊗;
∂03-Jan-80 1916 JMC via SU-TIP
To: ME
If you come in this evening, please phone me at 321-7580.
∂03-Jan-80 2226 JMC imlac
To: ROY
Marty helped me reload it, and the only current problem is the size of the
picture. Please phone me at 321-7580 as soon after 9am as you can. If you
don't get me at that number, call me at 321-2052.
∂03-Jan-80 2354 JMC
To: LGC
I'm behind. How about early next week?
∂05-Jan-80 1456 JMC
To: minsky at MIT-AI
Right. It was 26-007 or perhaps 26-007A or 26-007B.
∂06-Jan-80 1534 JMC Detaching Imlac from system.
To: ME
My Imlac (tty20) has been detached from the system 3 times, each time
during typeout. Twice it was typeout from E and once it was from
FINGER.
∂06-Jan-80 2021 JMC Your contract example
To: gardner at SUMEX-AIM
Could you MAIL me the paragraph from your thesis proposal with
the case of the contract to buy a carload of something or other.
I am giving a lecture about circumscription, and I may want to
use it as an example requiring non-monotonic reasoning.
∂06-Jan-80 2051 JMC
To: JK
Let's try again to get together. Phone 321-7580 home or 321-2052.
∂07-Jan-80 0026 JMC imlac detachment
To: ME
My Imlac has gotten detached about 5 times this evening. Probably previous
apparent diseases of the Imlac or the line were actually the Imlac getting
detached. Now that I know how to fix the trouble, it's not so painful, but
...
∂07-Jan-80 1346 JMC
To: PJH
I have a terminal for you, but you need a connector adapter.
∂07-Jan-80 1353 JMC iii meeting
To: minsky at MIT-AI
Do you know the schedule of the Technical Committee Meeting? Has
Ed decided whether we really need three days, and is he in town?
What are the best phone numbers for him?
∂07-Jan-80 1708 JMC
To: gardner at SUMEX-AIM
Thanks. Lecture Friday but at U.C.L.A.
∂07-Jan-80 1851 JMC via SU-TIP
To: ROY
My line is broken again. Please phone tomorrow morning.
∂07-Jan-80 1851 JMC via SU-TIP
To: ROY
That's tuesday morning.
∂08-Jan-80 1023 JMC
To: LGC
Today at 2pm if still ok with you.
∂08-Jan-80 1329 JMC
To: ROB
IBM keyboard guru Nathaniel Rochester, IBM Cambridge Research Center, 545 Technology Square, Cambridge, MA0213
∂08-Jan-80 1902 JMC
To: EAF at SU-AI
Note Doyle seminar, Wednesday 1:30. Should we have an AI lunch with him?
∂08-Jan-80 2230 JMC
To: JRA
Yes, I will do it.
∂08-Jan-80 2235 JMC
To: JRA
Please check your calendar. August 24 seems to be a Sunday.
∂08-Jan-80 2238 JMC
To: DCD
campbe[w80,jmc] contains comments on Campbell's paper.
∂09-Jan-80 1910 JMC
To: EAF at SU-AI
We should suspend sending CS Reports to the Soviet Union.
∂09-Jan-80 1913 JMC
To: CJS
Please suspend sending AI memos to the Soviet Union.
∂09-Jan-80 1924 JMC
To: admin.bosack at SU-SCORE
Suggestions:
1. Include a counter so that statistics are gathered only every
nth time the gatherer is called. This will enable tuning the gatherer
so it won't slow down the system being studied.
2. Will there be any problem in noticing calls from a system
service whose action is in turn instigated by the program
being studied? Such may take more time than the editor itself.
3. Will we be able to identify the inner loops that are using
the time - especially loops involving i-o?
∂10-Jan-80 1051 JMC
To: JRA
May I assume the conference starts on the 25th then?
∂10-Jan-80 1124 JMC dugan
To: JMC
tell dugan to give prospectus to
Richard Clarke and Grant Horne with
the idea that they should show it to relevant
people at Bechtel
∂10-Jan-80 1129 JMC
To: JMC
Prospectus to Tom Pigford, nuclear eng. Berkeley 642-6469
∂10-Jan-80 1342 JMC datamedia
To: LES
First trials of the modified Datamedia aren't too encouraging. It works
fine on 497-0081 and badly on 497-0071 and the Ames Tip line. We haven't
yet been able to get in on 497-1112 and will try 497-0071 again, since that
has worked ok with my Datamedia here. Pat Hayes has it and will run any
tests you want and can be reached here at CASBS on 321-2052 or on the
system. There are two troubles: repeatedly going into the mode that
makes the whole screen blink and getting many garbled characters back.
Probably the latter is the cause of the former.
∂10-Jan-80 1411 JMC student word processing
To: REG
I hope to reach you this weekend or Monday on this issue. I
think we should raise it vigorously with the Advisory Committee, and
we should consider an NSF proposal for it. However, we should discover
who at NSF is in charge of Undergraduate Education proposals, because
they may either favor innovation (word processing) or meeting basic
needs (LOTS expansion) depending on the ideology of the moment. A telephone
call will find out which is the case.
∂12-Jan-80 1433 JMC dinner declination
To: ZM
I forgot that there was a TV program that Carolyn and Jane Robinson
were going to watch after dinner, so we have to stick to our original
plan. Many thanks for the invitation.
∂13-Jan-80 1729 JMC via SU-TIP
To: FB at SU-AI
My Imlac loses increasingly. When can I get one of yr superterminals?
∂13-Jan-80 1811 JMC doing it myself
To: ROB
How can I do for myself what you just did? Assume that I log in as myself
on my TI terminal.
∂13-Jan-80 2105 JMC
To: JK
The intent about GB set theory was merely that it has a finite number of
axioms. I haven't worked out what happens if one circumscribes a set
of axioms that already uses schemata. Thanks for the comments. I will
try to make the forthcoming AI memo version less cryptic.
∂13-Jan-80 2225 JMC
To: LGC
monday at 2.
∂14-Jan-80 1120 JMC decorating a letter
To: MP
MINTS.LE1[LET,JMC] is a letter that needs the correct address. We have
received a letter from Mints from which you should get his address.
After fixing it, xgp a copy for my signature. If you can't get at the
letter, ask LES to add your name to the secretary group that has access
to my area LET,JMC.
∂14-Jan-80 1347 JMC speaker
To: RWW
Victor Eliashberg, an emigre from Russia now employed at Varian, has
some AI ideas he would like to talk about. Could you call him,
493-4000 x2544 and arrange a small seminar?
∂14-Jan-80 1422 JMC second year
To: MAX
I understand from John Wang that you may want to stay a second year.
If this is right, please telephone me, so we can talk about it.
∂14-Jan-80 1430 JMC
To: MP
Please MAIL me Donald Michie address from recent letter.
∂15-Jan-80 0038 JMC
To: JK
(DSKIN (DIRECT.LSP)) elicits an error message.
∂15-Jan-80 1338 JMC michie address
To: JMC
Michie's current address is:
Donald Michie
Department of Computer Science
222 Digital Computer Laboratory
Urbana, Illinois 6l801
∂15-Jan-80 1947 JMC
To: TOB
Please include me in Chern's schedule at whatever afternoon time is
convenient.
∂15-Jan-80 2030 JMC
To: TOB
What is Kanade's current address?
∂15-Jan-80 2352 JMC
To: EAF at SU-AI
Ed: Do you have any changes to suggest in this draft letter about Binford.
Dr. Thomas Binford is being considered for promotion to Adjunct
Professor of Computer Science at Stanford University. This is a research
position at the Associate Professor level in which he would continue his
leadership of our work in robotics and computer vision.
We would like any information you can give us relevant to
this possible appointment. While his research is most important
for this appointment, we are also soliciting information about his
lecturing, work with students, and expository ability.
An evaluation of specific papers that you
know about and comparisons of his work with that of specific other people
in his own and related fields would be especially helpful to
the University officials who must evaluate this appointment.
A bibliography is enclosed for your convenience.
Thanks in advance for your trouble in helping Stanford make
this decision.
∂15-Jan-80 2354 JMC
To: TOB
I forgot that I need your bibliography - on paper.
∂16-Jan-80 1314 JMC
To: MRC at SU-AI
I don't understand from this message how to send mail or files to
and from LOTS.
∂16-Jan-80 1325 JMC
To: MP
cartwr.xgp.
∂16-Jan-80 1558 JMC dialnet
To: REG
Every month that Dialnet is delayed increases the probability that
it won't happen. The current problem is that the Dialnet equipment
is not connected to SAIL. Could you send a message to ROY with a
copy to me asking him to give it sufficient priority to get it done
by February 15? Copies should also go to MRC and LES.
∂16-Jan-80 1711 JMC wide band digital
To: EAF at SU-AI
Len Bosack tells me
1. A sufficiently wideband connection between LOTS and ourselves
is in the works. Massy could perhaps help by telling his underlings
to stop hesitating on the work order to pull the cable, but even without
high-level intervention, it will happen.
2. Companies of our acquaintance are collaborating on making
inexpensive ethernet connectors for various computers, and we can expect
the salesmen in a couple of years.
3. Optical fiber connections by yet another company are in the
works, and we can expect their salesmen too but perhaps a little later.
This reinforces my present conviction that Stanford should solve
present problems on an ad hoc basis and wait for salesmen. If Stanford
puts out an RFP, we will have the honor of using our money to finance
research and development that will be done just as fast without us.
These considerations might be decisive even if we were the Government,
which Stanford isn't.
∂16-Jan-80 1737 JMC
To: LES
Feigenbaum says I should offer Doyle 25.3K + 1 day a week consulting right.
∂17-Jan-80 0146 JMC
To: HVA
Can I get reimbursed for $16.70 cost of taking potenial research assoc. to dinner?
∂17-Jan-80 1328 JMC seminar speaker
To: LGC
Victor Eliashberg of Varian would like to give a seminar to AI people
entitled "E-machines - Residual Excitation and Context-dependent
Behavior. His phone number at Varian is 493-4000 x2544. Could you
arrange a suitable time and announcement on the machine and bulletin
boards?
∂17-Jan-80 1443 JMC
To: REG
∂17-Jan-80 0813 Sandelin at SUMEX-AIM misc
Date: 17 Jan 1980 0814-PST
From: Sandelin at SUMEX-AIM
Subject: misc
To: jmc at SAIL
1. Reminded Steve Williams of IBM about 4331 project..MEntioned interest
in doing student text processing experiment...He was going to discuss with
Bob Creasey at Ibm scientific center 2. Met with James Koerner ofthe Sloan
Foundation.. Told him that two areas where outside monies are needed are
~for student text} processing and to investigate wider collaboration on
what is needed in the area of inter-university cooperation. He invited
submission of a 3 to 4 page letter describing what should be done. We
would like to meet with you and Ralph before deciding if sending such a
letter is worthwhile. 4.A copy of the interium task force report was put
in your mail slot at MJH. Did you getit? -------
∂17-Jan-80 1459 JMC your talk and job offer
To: doyle at MIT-AI
1. I was mistaken in jumping to the conclusion that your formalism
(or rather what I supposed it to be in the note I wrote) requires
syntactic reference, i.e. to the name of the rule. The effect of
the example of doyle[w80,jmc] can be achieved as follows:
1. chivalry ∧ womanatdoor(x,s) ⊃ should(hold-door-for(x),s)
2. lib ∧ libber(x) ⊃ ¬chivalry
3. courtesy ∧ burdened(x,s) ⊃ should(hold-door-for(x),s)
4. M chivalry ⊃ chivalry
5. M lib ⊃ lib
6. M courtesy ⊃ courtesy
It also works using circumscription. There might be some
advantage in parametrizing chivalry, i.e. writing (1) as
chivalry-to(x) ∧ womanatdoor(x,s) ⊃ etc.
and writing (2) as
lib ∧ libber(x) ⊃ ¬chivalry(x)
and writing (4) as
∀x.(M chivalry(x) ⊃ chivalry(x)).
2. I would like to know a probability of your accepting our
offer, so that I can use it in planning an Advice-Taker
grant proposal. The offer,
however, is not conditional on any specific grant proposal.
∂17-Jan-80 1608 JMC common sense physics
To: PJH
Are you interested in some collaboration on trying to
develop some more common sense physics axiomatizations?
I would like to get them to the point where they admit
descriptions of specific situations and general laws and
proofs that a strategy of action will achieve a goal
if nothing goes wrong.
∂17-Jan-80 1627 JMC reiter.xgp
To: MP
Please print this and make an envelope. I noticed yesterday that
my recommendation for Cartwright was in the XGP cue when the machine
was down. It would be better to UNSPOOL confidential things like
letters of recommendation if the XGP is down. Just give the command
UNSPOOL, and the computer will offer you the chance to unspool
each document you are currently spooling.
∂17-Jan-80 1633 JMC Suppes offer for KA.
To: LES
He offers $20,000 for KA and BBN mapper. The mapper ain't ours, but
I suppose he has enough Government support so that ARPA would let
him use it. I didn't accept his offer, and an opinion that the KA
is worth more is tenable. Perhaps we should hold out for the $25K
in commemoration of the divorce settlement.
Feigenbaum's money for displays is burning a hole in his pocket, so
I am now inclined to act sooner than June on displays. Who is the
relevant person to talk to at Grinnell and his co-ordinates, and
when and at what number is the best time to talk to Panofsky?
∂17-Jan-80 1640 JMC
To: LES
Would you talk to Suppes?
∂18-Jan-80 1111 JMC
To: LGC
Let's meet then.
∂18-Jan-80 1418 JMC
To: DPB at SU-AI
I am on leave from Gray Tuesday, etc.
∂18-Jan-80 1527 JMC
To: csd.betty at SU-SCORE
I just got a phone call from Queenette, the secretary at LOTS, to the
effect that she a been called by Pat Devaney, saying that Ralph's raise
had been fixed at 10 percent making $38,995 (or something close to that).
I suppose that since I am on leave, Lieberman acted unilaterally. Anyway,
I was delegated to tell him, so I'll stick out may hand and see if
he bites it.
∂18-Jan-80 1634 JMC
To: LES
I want to talk to Grinell and to Panofsky before writing anything. I
will read their literature, but I want to see if there is any
co-incidence of views that might cause them to go out of their
way to accomodate us. Therefore, I need the names and phone
numbers.
As for S-1, why don't you run SOB, and come up with a position on
the relation between what they are using and what they are paying
for.
∂18-Jan-80 2116 JMC
To: LES
Do you know who is who at Grinnell?
∂18-Jan-80 2225 JMC
To: "@AIPHIL.LST[F79,JMC]" at SU-AI
I propose that we meet as a group Thursday, January 24 at 2:30 and
discuss whether mental qualities should be ascribed individually or
whether there is some minimum level of mentality required to ascribe any.
The date and time are merely to make a definite suggestion, and proposals
for change are welcome.
∂18-Jan-80 2227 JMC
To: pylyshyn at CMU-10A
I propose that we meet as a group Thursday, January 24 at 2:30 and
discuss whether mental qualities should be ascribed individually or
whether there is some minimum level of mentality required to ascribe any.
The date and time are merely to make a definite suggestion, and proposals
for change are welcome.
∂18-Jan-80 2254 JMC C
To: ef at MIT-AI
CC: minsky at MIT-AI, selfridge at BBN-TENEX
Did III consider the C language developed at Bell Labs,
used in UNIX and apparently now standard for the Bell System?
It seems that this language may be optimized for control
applications, and it may be less eccentric than Pascal.
∂19-Jan-80 0030 JMC Baskett
To: LES
It seems that Baskett needs some kind of executive officer help in getting
proposals written, edited, and out, etc. Do you think you could help him
in exchange for his enterprises paying part of your and Hersche's salaries?
Should I or you make the offer? As you know, the Livermore ball drop is
not the only consequence of Baskett biting off more than he can chew.
∂19-Jan-80 1637 JMC copies of circumscription paper
To: MP
Please make 10 copies (2 sided) of the circumscription memo in
my out box. One goes to Reiter, one to Drew McDermott at the
Coomputer Science Dept., Yale and one to Jon Doyle at the M.I.T.
AI Lab.
∂21-Jan-80 0149 JMC Please send
To: MP
Please send a copy of my Technology Essays (Carolyn will find one) to
Stuart Miller at his home address (in PHON[let,jmc].
∂22-Jan-80 1353 JMC
To: selfridge at BBN-TENEXD
My impression from a recent IEEE issue on communications was that C
is used or planned to be used in the telephone company's control
applications which probably have as many real time requirements as
do III's.
∂23-Jan-80 2338 JMC visit to Grinnell today
To: MO at SU-AI
Ralph says you are available to help specify CSD display system.
Can you come to Grinnell today? The appointment is at 2:30pm,
and we will leave MJH at 1:45.
∂24-Jan-80 0956 JMC meeting today
To: MO at SU-AI
Please come by the Center for Advanced Study in Behavioral Sciences (CASBS)
at 1:45. I don't have a parking sticker for campus and like to minimize
parking there. To get to the Center, leave Campus on the north Mayfield
exit and take the next left which is just before the Golf course bridge
across Junipero Serra. The exit is for the Golf Course and the Center,
and the Center is reached by an immediate left after getting on the Golf
Course road.
∂24-Jan-80 1200 JMC
To: "@AIPHIL.DIS[W80,JMC]", RCM
BODEN.NS[W80,JMC] is a revieew of her new book on Piaget.
∂24-Jan-80 1317 JMC
To: MP
Please spool reiter.xgp, and etc.
∂24-Jan-80 1811 JMC
To: MP
TIMES.XGP[LET,JMC]
∂25-Jan-80 1056 JMC
To: EAF at SU-AI
CC: csl.fb at SU-SCORE, LES at SU-AI, REG at SU-AI,
rindfleisch at SUMEX-AIM
I would argue fiercely that we don't need more high priced local editing
terminals now but rather a display system for the department, but it seems
that action isn't being advocated now, so I'll do no more than just
restate that position. I have started talking with Grinnell about 200 to
300 terminal system.
∂25-Jan-80 1211 JMC
To: MO at SU-AI, REG at SU-AI, LES at SU-AI
Grinnell here 1:30 Tuesday, my office→tour; conference room
∂25-Jan-80 1808 JMC
To: HPM
The week of March 10 is clear so far.
∂26-Jan-80 1418 JMC release form to ACM
To: MP
Do you remember sending a signed release form to ACM Information
Cassettes? They haven't received it, and I wonder if its on my
desk somewhere. They will send another eventually if it doesn't
turn up.
∂26-Jan-80 1633 JMC biography and photo
To: MP
I need to send a biography and a photograph to Scientists and
Engineers for Secure Energy in New York. They may have just moved,
so you should call Mimi Scrandis 212 840-6595 to get the right
address. The biography is BIOGRA[W80,JMC] and there are publicity
type photos in a file or they can be obtained from Stanford News
Service. Carolyn knows where they might be.
∂27-Jan-80 0838 JMC bookcases for office
To: CLT
10ft 6in wall to wall, 5ft 3in wall to filecabinet
∂27-Jan-80 1102 JMC
To: MP
kodak.xgp
∂27-Jan-80 2219 JMC
To: DCD
I haven't got the form exactly right and it could stand rewording for
content, but here's the idea.
feyerabend - from Germnn feuer (fire)+IBM abend (abnormal ending
of a computer program, usually accompanied by 200 pages of hexadecimal
dump). Proposed future burning of all scientists as witches, political
gangsters and hypocrites.
∂28-Jan-80 1054 JMC
To: LGC
yes
∂28-Jan-80 1116 JMC social security number to UCLA
To: MP
Please send a note to Lillian Prupes,Western Management Science Institute
UCLA, Los Angeles CA 90024 saying that my social security number
is 558-30-4793 and my home address is 846 lathrop dr. Stanford ca.
∂28-Jan-80 1339 JMC money
To: LES
At present rate of expenditure, between ARPA basic research and NSF,
what can I spend on salaries of other people next year? I am going
to have to ask NSF for supplementary money for Ketonen ($15K will
be my half of his salary), Ma (He will work 1/3 for linguistics, but
I want him to work on the problem solver.), Creary (With more supervision,
he is doing ok.), and Doyle. I also want a couple graduate students.
I am trying to gear up for an attempt on an advice taker program, finally.
∂28-Jan-80 1833 JMC
To: LES
Till when is LLL use paid for?
∂28-Jan-80 1841 JMC
To: LES
I assume that contract covers use by Wiederhold and cohorts. Does it
also cover use by the LLL group directly?
∂28-Jan-80 1851 JMC LLL use
To: LES
Have you approved the price of the usage? I don't see that Gio can
make such a contract by himself.
∂28-Jan-80 1859 JMC lll again
To: LES
I called Gio, and he doesn't know what the $15K for six months is supposed
to cover, i.e. he thinks it was never specified whether it covers direct LLL
use. Please figure out what is reasonable given costs and their use.
We may want to ask Lowell Wood to get us more money in their supplementary
budget.
∂28-Jan-80 2357 JMC
To: CLT
Scott Kim?
∂29-Jan-80 1531 JMC
To: minsky at MIT-AI
Assuming that Rich is referring to Gurii Ivanovich Marchuk, the current
head of the Siberian Division of the USSR Academy of Sciences, Marchuk
is an energetic affable intelligent man and a rather G.I. communist.
When he was Director of the Academy Computation Center in Novosibirsk,
he allowed Ershov to refrain from firing someone who had applied to
emigrate, so that the latter kept his job till he left Novosibirsk.
This counts as a point in someone's favor, but it could be Ershov,
Marchuk, Lavrentiev or even the Akademgorodok party boss.
I was hoping you would show up at the Behavioral while you were out here.
∂29-Jan-80 1620 JMC
To: DBL at SU-AI
I think I met Kolodner at IBM last summer. I may be available on
the 28th and 29th to attend the talk, but since I am on leave, I
want to preserve my options.
∂29-Jan-80 1634 JMC Grinnell
To: MO at SU-AI
CC: REG at SU-AI, LES at SU-AI, FB at SU-AI
That was a somewhat confusing meeting. Doing it their way is
certainly a possibility, but we might have to go to 64 displays
per unit. We need to know what the computer part would cost.
Forest mentioned that there is a Z8000 microcomputer board. Would
you cost out a system with that microcomputer on the ethernet
talking to a Grinnell controller and 64 displays. Figure out how
much memory we would need.
∂29-Jan-80 2208 JMC
To: EAF at SU-AI, DEK at SU-AI, FB at SU-AI
I am also interested in having Guy Steele.
∂29-Jan-80 2257 JMC
To: TOB
4. I should mention that Marr's primal sketch is quite a lot
like the drawings generated at the Stanford AI Lab in the 1960s
by Manfred Hueckel. Do Marr et. al. refer to Hueckel?
∂29-Jan-80 2342 JMC
To: "@AIPHIL.LST[F79,JMC]" at SU-AI
BARWIS[W80,JMC] contains comments on Barwise's lecture and
his notes. Let me suggest that others attending the lectures might
want to make similar files for exchanging comments. It seems to me,
and others have complained, that we have slowed Barwise too much
by our comments in class and have made it difficult for the students
to follow his train of thought. We give him printouts of the comment
files, and this may be of use to him.
Incidentally, the E command αβXpo is useful for reading files
referred to in other files. The effect of the command is to search
from the present location of the pointer for text that looks like
aaa[bbb,ccc] or aaa.bbb[ccc,ddd], interpret that text as a file
name and switch to that file.
∂30-Jan-80 0949 JMC computer facilities
To: REG
I have just seen the Series 1's and the IBM terminals. They are free,
but I am beginning to doubt that we can afford them. To use them
we might have to displace yet more people for terminal rooms. I
plan to raise the issue with Feigenbaum and Baskett.
∂30-Jan-80 1419 JMC
To: JCH
send tty1 also worked.
∂30-Jan-80 1522 JMC
To: REG at SU-AI, ME at SU-AI, ROB at SU-AI, MRC at SU-AI,
ROY at SU-AI
I have a demo tonight between 8 and 9, so hopefully no emergencies.
∂30-Jan-80 1534 JMC
To: JCH
Arthur Samuel 497-1758 did indeed use Walsh transforms, and will talk.
∂30-Jan-80 1635 JMC
To: MP
Please decorate elitho.le1.
∂30-Jan-80 2226 JMC
To: ROY, DC
I returned 6 monitors, the connectors, and the hand truck to 020F.
∂30-Jan-80 2326 JMC
To: EAF at SU-AI
Ed:
The following is symptomatic of the fact that carrying student
computing on project accounts is likely to be difficult. If it is to be
done at all, there will have to be departmental effort.
∂29-Jan-80 1710 GIO Accounts
To: LES, JMC
I looked at S-1 detail accounts and with costing being near I think some
rearrangements are in order. I see many people with S-1 accounts whom I
don't even know. I see people that are definitly not doing S-1 stuff
(e.g., Kaplan = SJK). I see people who are doing some S-1 stuff but also
other stuff now (e.g., ARK). There are undoubtedly also people who are
half and half and no mechanism for splitting up accounts seems to exist.
Perhaps people should be encouraged to log in on different projects of the
same programmer with the accounting based on projects instead of account.
In the meantime I'd like to make a pass dividing people into CSD project,
Kosher Livermore, and unknown.
Should we do this together or do you want a list?
Gio
∂31-Jan-80 1033 JMC
To: TOB
I'll be there.
∂31-Jan-80 1142 JMC distribution of a memo
To: MP
The file AIPHIL.MAI contains a mailing list for AI and philosophy
group memos. Please look at it. Also please print PROBLE.XGP[W80,JMC]
and send copies by campus mail to the six on the list.
∂31-Jan-80 2017 JMC requests to XGP
To: MP
The members of the AI and philosophy group at CASBS have terminals
and accounts on this machine, but there is no printer at CASBS. Some of
them may occasionally MAIL you requests to XGP files and send them
by campus mail.
∂31-Jan-80 2153 JMC
To: CJS
circum.w80[w80,jmc] should be made into an AI memo.
∂01-Feb-80 1129 JMC
To: MP
Monica:
GOAD.RE1 is a recommendation for Chris Goad. Please make another
addressed as below called GOAD.RE2, pub it and print it.
∂01-Feb-80 1027 CG another recommendation
Here is (yet) another address where a letter of recommendation for me is wanted:
Josina M. Arfman- Van der Maas, Manager
Corporate Ph.D. Program
Thomas J. Watson Research Center
P.O. Box 218
Yorktown Heights, New York 10598
Thanks.
∂01-Feb-80 1131 JMC
To: hpp.genesereth at SU-SCORE
I would like to see MACSYMA here, although I have no specific plans
to use it. I don't find our machines heavily loaded at present, but
maybe this is because I mainly use it for writing.
∂01-Feb-80 1317 JMC
To: DCD
In the third sentence, it's "Hilary".
∂01-Feb-80 1417 JMC
To: MP
Please print and send me on copy of TEACH.NS[W80,JMC].
∂01-Feb-80 1433 JMC doyle
To: LES
Could you send Doyle a letter offer $25.3K, on day consulting provided
it doesn't interfere with duties. Two year app't renewable if
mutually agreeable. Usual boiler plate.
∂01-Feb-80 1641 JMC
To: LES
Right you are.
∂01-Feb-80 1908 JMC
To: DCD
2nd try: Wasn't it Mallory (192x) who said "Because it's there"?
∂01-Feb-80 1952 JMC
To: MP
beckma.xgp
∂02-Feb-80 0815 JMC
To: MP
Please xgp and campus mail BREZHN.NS[W80,JMC].
∂02-Feb-80 2321 JMC
To: LES
Better check with Feigenbaum or his sec'y about availability of conf. room.
∂04-Feb-80 0155 JMC Syllabus
To: DBL at SU-AI
1. The Mechanization of Thought Processes is a symposium proceedings that
contains one of my papers Programs with Common Sense along with papers
by others. You should list this proceedings as an alternate source of
the Advice Taker since the other is no longer in print.
2. I suggest you include my Ascribing Mental Qualities to Machines (a
recent AI memo) in Philosophical Issues.
∂05-Feb-80 0912 JMC
To: MP
Please print a copuy of ISRAEL.SPE[F79,JMC].
∂05-Feb-80 1749 JMC raviv
To: MP
Dr. Joseph Raviv
IBM Scientific Center
Technion
Haifa, Israel
∂06-Feb-80 0914 JMC
To: CLT
Mr. Pierce said he would come tomorrow. He'll phone late afternoon.
∂06-Feb-80 1718 JMC xgp
To: LES, REG
There have been a lot of messages pleading for help with the xgp. I suggest
that a session be held to teach whoever wants to know those things that
a non-expert can do to get the xgp going again and how to tell the difference.
∂06-Feb-80 2316 JMC
To: REG, ROY
Please tell the phone man that his last fix broke my Imlac line.
∂08-Feb-80 1634 JMC
To: FB at SU-AI, EAF at SU-AI
Having just been refused an account, my attitude to the 4331 has changed.
∂09-Feb-80 1044 JMC
To: MO at SU-AI
Who was it who said I couldn't get a 4331 account without being part of joint study?
∂09-Feb-80 1414 JMC
To: FB at SU-AI
the name should be mccarthy and the password should be 848-0898
∂09-Feb-80 1757 JMC 4331
To: FB at SU-AI
Maybe you didn't get the reply I SENT you. It was a student-age
person in the machine room to whom Mo referred me when I asked for
an account. I want it merely to keep up on interactive characteristics
of that operationg system, which I don't suppose is part of the joint study.
∂09-Feb-80 1809 JMC
To: MO at SU-AI
id=mccarthy password=848-0898
∂10-Feb-80 2116 JMC xgp
To: DEA
Please do not go away and leave a job on the xgp, when the xgp isn't
working. If you don't want to bother to try to unjam the paper cutter,
then unspool your job. There is no-one whose regular job it is to
fix it for you. You have been around long enough so that you should
have gotten someone to teach you how to unjam paper.
∂11-Feb-80 1106 JMC
To: doyle at MIT-AI
It will contain whatever is standard, and I'll find out what that is.
∂11-Feb-80 1553 JMC Raymond Reiter
To: MP
REITER.LE1 is a letter that I don't remember whether I sent. Do you
know whether it was sent?
∂11-Feb-80 1554 JMC visit
To: minsky at MIT-AI
Do you want to visit the AI and philosophy group for a week or two? We
can pay expenses. Adjoining our conference may be connvenient for you
and is ok with us, but because there will be lots of visitors, another
time before June would generate more interaction.
∂11-Feb-80 1558 JMC
To: MP
Could you MAIL me Reiter's phone number? I think you have a letter filed.
∂11-Feb-80 1559 JMC
To: MP
P.S. MAIL means a computer message rather than campuss mail.
∂11-Feb-80 1832 JMC
To: MP
See if you can find two passport photos in a file somewhere.
∂12-Feb-80 1407 JMC
To: TOB
Glad to.
∂12-Feb-80 1436 JMC more on visa application
To: MP
Thanks for finding the photos. In my in box are two copies of a Russian
visa application, one of which I have filled out. Please copy the
information from the first onto the second - except for signature.
∂12-Feb-80 1438 JMC terminal
To: JK
CC: JCH, LES
A Datamedia terminal you can use is now at CASBS. It is now in
John Haugeland's office and will be in a box either in his office
or mine. You can come for it at your convenience but phone first.
321-2052 and ask for me or him.
∂12-Feb-80 1509 JMC
To: MP
Yes, please locate him.
∂12-Feb-80 1528 JMC
To: minsky at MIT-AI
The conference is monday march 24 to wednesday march 26 here on ai
and philosophy. You were supposed to have been sent an invitation,
and I will make sure.
∂12-Feb-80 1832 JMC
To: JK
A terminal for you is now in my car. Call my home 321-7580 tonight if you want.
∂13-Feb-80 1336 JMC
To: bmoore at SRI-KL
I can attend on any of the proposed dates, will have a formal presentation,
and will not need support.
∂13-Feb-80 1338 JMC
To: PLS
No seminars are currently scheduled.
∂13-Feb-80 1441 JMC
To: MP
perry.xgp for signature
∂13-Feb-80 1444 JMC
To: DPB at SU-AI
Here is a new version of catalog material for cs226.
226. Epistemological Problems of Artificial Intelligence - Formalisms for
representing what a general intelligent program must know about the common
sense world including facts about causality, ability, knowledge and
action. Modes of rigorous and conjectural reasoning, especially
non-monotonic reasoning. Approximate theories and counterfactuals.
Connections with philosophy, especially philosophical logic and
epistemology. Some familiarity with first order logic will be assumed.
∂13-Feb-80 1450 JMC
To: LES, RWW, LGC
Monday March 31 is best for me for the meeting with Englemore.
Any conflicts?
∂13-Feb-80 1452 JMC
To: englemore at USC-ISI
Tentatively, Monday March 31 is best.
∂13-Feb-80 1453 JMC
To: engelmore at USC-ISI
Tentatively, Monday March 31 is best for Formal Reasoning meet.
∂13-Feb-80 1455 JMC
To: CLT
I picked up Moschavakis and Maclane from bookstore.
∂13-Feb-80 1534 JMC
To: LES
Ketonen now has the second Datamedia I took to CASBS, i.e. Hayes's.
∂13-Feb-80 1606 JMC
To: MP
sloman.xgp
∂13-Feb-80 1816 JMC
To: ROY
The Dialnet connection is now very high priority, and my Imlac is broken.
∂14-Feb-80 1125 JMC via SU-SCORE
To: MP
Please hold off on the letter to Sloman; revisions needed.
∂14-Feb-80 1409 JMC
To: MP
sloman.xgp is ready again.
∂14-Feb-80 1508 JMC
To: MP
DAILY.XGP
∂15-Feb-80 1451 JMC
To: ME
;u
∂15-Feb-80 1452 JMC
To: ME
Some random mail apparently sent you from NS by accident.
∂15-Feb-80 1458 JMC
To: BS at SU-AI
I got needed info from Phyllis Winkler.
∂15-Feb-80 1534 JMC
To: PHY
Thanks, Phyllis.
∂16-Feb-80 1100 JMC equipment
To: REG
0081 just worked for me. I forgot to say that 321-4562 was also sick
but differently. Namely, it produced an infinite sequence of ?????
till sometimes it and sometimes I got tired and hung up. As for the
equipment, Roy has left a Tektronix 454A scope here, and that seems
to be all. The Imlac doesn't work still; I have taken home the
Datamedia from my CASBS office, and I suppose I'll move it back and
forth till the Imlac works. I would like it to live till summer
after which I propose to retire it and use either a Datamedia or
one of Baskett's fancy new terminals.
I can bring in the Tektronix if that will help.
∂16-Feb-80 1320 JMC
To: REG
I did set the Datamedia speeds to 300-300, but if you don't mind, I won't
pursue the matter further now. If there is something wrong, no doubt someone
else will complain.
∂17-Feb-80 1423 JMC
To: selfridge at BBN-TENEX
CC: minsk at MIT-AI, ef at MIT-AI
I would like to see one additional issue mentioned in the TAC
report. It was remarked in several places that once III got the language
software, many modifications and enhancements would be required. This is
so, but III should make repeated efforts to innovate in language as little
as possible and TO RETURN TO THE FOLD as soon as the required features
were available in the standard systems. This is important in the
"improvements through politics" doctrine. When we first received the DEC
System 20 for student use, we had to modify the disk file system in order
to increase the number of allowed directories from 400 to 3000 so we could
give each student a directory. However, as soon as we succeeded in
politicking D.E.C. into putting the feature into the standard operating
system, we reverted to standard. This kept us in line for future
improvements. In the minutes so far, I see no indication that the need
for a continuing effort to stay with the manufacturer software is
understood.
∂17-Feb-80 1926 JMC
PASCAL is largely being promoted in the computer science teaching
community. If C is being used for all kinds of real time system
work it is worth looking into. However, this assumes that it
is available. It just occurs to me that I will meet Doug McIlroy
on Tuesday, and I can ask him what the C situation is as far as
outside availability.
∂17-Feb-80 1926 JMC
To: selfridge at BBN-TENEX
PASCAL is largely being promoted in the computer science teaching
community. If C is being used for all kinds of real time system
work it is worth looking into. However, this assumes that it
is available. It just occurs to me that I will meet Doug McIlroy
on Tuesday, and I can ask him what the C situation is as far as
outside availability.
∂20-Feb-80 2015 JMC
To: JRA
I see no advantage in advertising LISP after 20 years. I also see no
advantage in the glossy brochure. I trust that you will be able to
reimburse yourself for expenses out of the conference registration.
What happened to your discussions with Nilsson about having IJCAI
grubstake the conference?
∂20-Feb-80 2016 JMC
To: HVA
Don't think I ever saw it. Maybe it's in my incoming mail.
∂20-Feb-80 2018 JMC
To: MP
Did my letter to Sloman go out?
∂21-Feb-80 1034 JMC via SU-TIP
To: CET at SU-AI
Taylor is at IBM in Boca Raton, fλFlorida.
∂21-Feb-80 1036 JMC via SU-TIP
To: REG, ROY
0081 answers but gives no carrier again.
∂22-Feb-80 0023 JMC
To: ROY
Sorry I missed your message. tomorrow it will have to be.
∂22-Feb-80 0024 JMC imlac
To: ROY
Marvin Minsky notices that the power transistor Q303 is ice cold and
Q304 is pretty cold, but he isn't sure that it means anything.
∂22-Feb-80 0934 JMC
To: MP
deakin.xgp[let,jmc]
∂22-Feb-80 1658 JMC
To: MP
I have printed and signed the Deakins letter.
∂22-Feb-80 1756 JMC j,pat
To: PAT
I have created an area pat,jmc. Could you rename the files to it?
Do you know if any of them contain recommendation or other mmterial
that should be confidential?
∂22-Feb-80 1840 JMC
To: ROY
The Imlac seems to be working ok. What seems to you to be wrong?
∂24-Feb-80 1459 JMC Minsky and JMC idea
To: LLW
Minsky and I have a space transportation idea that may interest you.
Call 321-7580 today if you get this.
∂24-Feb-80 1557 JMC
To: HPM
Rumor has it that you are at CMU now.
∂24-Feb-80 1831 JMC
To: LLW
Minsky and I want to talk to you about a particle supported skyhook.
∂24-Feb-80 2301 JMC Another skyhook
To: HPM
Minsky and I have another skyhook that requires much less strong
materials. It has many variants, but imagine six 1000 mile skyhooks
evenly spaced around the equator. At the top of each skyhook is
a particle deflector, and the particles go at (say) 10↑5 meters/sec
in the obvious hexagonal path, and the skyhooks are held up by
their reaction with the particle streams. At the cost of more
skyhooks and less momentum change per collision, we can make the
skyhooks shorter.
What can you say about the feasibility of such skyhooks with
present materials?
A preliminary writeup is HOOK[W80,JMC].
∂24-Feb-80 2308 JMC
To: moravec at CMU-10A
Message for you at SAIL.
∂25-Feb-80 0113 JMC
To: MRC at SU-AI, ME at SU-AI
Why does sd score call up SAIL?
∂25-Feb-80 0127 JMC
To: MRC at SU-AI
Is there a good way to access SCORE if I want to use EMACS there?
∂25-Feb-80 1204 JMC
To: wiederhold at SUMEX-AIM
Thanks for the Whitesmith address.
∂25-Feb-80 1212 JMC
To: MP
FENAUG.XGP
∂25-Feb-80 1512 JMC
To: minsky at MIT-AI
∂25-Feb-80 1345 HPM via CMU-10A cross fertilization
I mentioned your idea to Bob Forward, and he pointed
out that the essence of your invention is a substitute for
a compressive member. He suggested a simpler variant;
a short anchord skyhook is supported by masses tossed
back and forth between its ends. I visualize a dual
mass driver at each end.
∂25-Feb-80 1710 JMC Ballistic Support of Space Stations
To: LLW at SU-AI
CC: minsky at MIT-AI
Thanks for your help last night. Would you and/or Rod be interested
in being a coauthor of a paper on the concept? We especially need
a better discussion of the deflector than our own knowledge can supply,
but I suppose you would also be interested in configurations and
applications. Since we can all communicate by computer, I don't
envisage a face-to-face meeting.
∂25-Feb-80 1732 JMC
To: DCD
Could I get copies of the Searle and Kripke papers you mentioned?
∂25-Feb-80 1859 JMC
To: MP
FENAUG.XGP is signed and sealed. The letter to Hirsch is urgent.
∂25-Feb-80 1938 JMC
To: PAT
Thanks Patte.
∂26-Feb-80 0114 JMC
To: minsky at MIT-AI
[ Dear John:
Rod and I would both be interested in working on this with the two of you.
I agree that we should be able to get the necessary work done by computer
mail. Will you post a (very general, if appropriate) outline, and assign
authorship of the first draft by sections, so we will mesh well without a
great deal of overlap; also, would you designate a file area (with a
strong preference for SAIL, as neither Rod nor I speak foreign site
languages) where the master draft will be kept?
I will be on travel until Thursday evening, but both Rod and I should be
able to get our portions done in first draft this coming weekend (or so it
appears from here).
Lowell]
∂26-Feb-80 1115 JMC
To: LLW
Your offer accepted, but I probably won't have the outline by Thursday.
∂26-Feb-80 1348 JMC
To: MP
Thanks for sending letter.
∂26-Feb-80 1414 JMC
To: MP
Please print COHEN[W80,JMC], and put it in my IN box.
∂26-Feb-80 2037 JMC
To: LLW
For your information.
∂25-Feb-80 1345 HPM via CMU-10A cross fertilization
I mentioned your idea to Bob Forward, and he pointed
out that the essence of your invention is a substitute for
a compressive member. He suggested a simpler variant;
a short anchord skyhook is supported by masses tossed
back and forth between its ends. I visualize a dual
mass driver at each end.
∂26-Feb-80 2054 JMC
To: minsky at MIT-AI
I received one at 1538 only.
∂27-Feb-80 1955 JMC
To: rwg at MIT-MC
Apparently not.
∂28-Feb-80 0829 JMC
To: LES
I don't understand when the year you refer to begins and ends.
∂28-Feb-80 1613 JMC
To: HVA
I presently plan to come.
∂28-Feb-80 1719 JMC
I guess I had better remain on leave.
∂28-Feb-80 1719 JMC
To: TOB
I guess I had better remain on leave.
∂29-Feb-80 0041 JMC line from computer to Imlac
To: ROY
I'm getting an enormous amount of random characters on
the line from the computer. There seems to be no
problem in the other direction.
∂29-Feb-80 0148 JMC
To: ROY
For no apparent reason, the trouble went away.
∂29-Feb-80 1033 JMC
To: LES
How do we stand with Ed's request to help Ullman? I think we are getting
started slowly and so can do it, especially if we can perhaps get some
of it back later.
∂29-Feb-80 1109 JMC
To: TOB
Yes.
∂29-Feb-80 1806 JMC
To: rosenow at SUMEX-AIM
I would like to see Meera Blattner of NSF on Tuesday.
Any afternoon time would be fine.
∂01-Mar-80 1501 JMC send copy of israel speech
To: MP
Please send it to Jim Bair.
Note: If I don't give an address, it's in PHON[LET,JMC].
∂01-Mar-80 1505 JMC address
To: MP
Please send Elliott Bloom at SLAC a note saying that Bill Evers
(address in PHON) would like to be on SE2 mailing list.
∂02-Mar-80 1018 JMC Heiss
To: CLT
Joe will be at SRI on the 18th on the 20th and would like to
get together.
∂02-Mar-80 1535 JMC
To: MP
SCHWAR.LE1 needs full address of Courant Institute.
∂02-Mar-80 1540 JMC paper
To: LLW
Two questions:
1. What is the feasible range of velocities for the cannonballs? The
faster they are, the less mass is required in a system.
2. What is likely to be the major cause of dissipation, and do
you have any idea how large it would be?
∂03-Mar-80 1036 JMC
To: rosenow at SUMEX-AIM
Where?
∂03-Mar-80 1128 JMC
To: CLT
stamps
∂03-Mar-80 1129 JMC stamps
To: CLT
Sorry about previous message.
Could you pick up a roll of .15s today or tomorrow - either
from the post office or from the department if they sell them.
Also about 5 two cent stamps.
∂03-Mar-80 1407 JMC
To: HVA
3pm would be most convenient, but any time is possible.
∂03-Mar-80 2203 JMC
To: MP
Please send a copy of energy.xgp[w80,jmc] to Les Dugan.
∂04-Mar-80 1605 JMC
To: MO at SU-AI
Thanks Mo, and please transmit my thanks to whoever co-operated.
∂04-Mar-80 1712 JMC
To: MP
Sending the proofs back to North-Holland is urgent. Be sure it's airmail.
∂05-Mar-80 1404 JMC
To: MP
The proofs are in my out box.
∂05-Mar-80 1405 JMC
To: DPB at SU-AI
I will teach it. Either time is ok.
∂05-Mar-80 1413 JMC
To: MP
Please xgp beyond[w80,jmc] and send it to me at casbs.
∂05-Mar-80 2012 JMC
To: DPB at SU-AI
Is it too late to change CS206 blurb in catalog?
∂06-Mar-80 0007 JMC
To: JK
Here are some comments on KNOW.SUG[1,JK]. Would you like to
come out to CASBS for lunch, say on Tuesday? Otherwise, we might
get together late today or tomorrow or over the weekend.
1. I like the idea of Wiser(M α), which hadn't occurred to me. However,
to translate my formulation of S and P, we might need Wiser1(M α) which
would be the knower like M but who now knows whether α.
Your axiom (3) would then become
(3') ∀ M α.α ⊃ Wiser1(M α)↔α ∧ ¬α ⊃ Wiser1(M α)↔(¬α).
It seems to me that Wiser(M α) (or Wiser1(M α)) may be limited
in its extendability to larger AI contexts. How can we say that
after M looks up a telephone number in the book, he will know it.
I don't see that your formalism permits saying that the only
thing that S knows about the numbers is their sum. How do your axioms
exclude the possibility that S knows that the numbers are odd and that
P knows S knows it. My axioms say that by saying that they jointly
know that for each m and n consistent with the sum, there are worlds
accessible for S in which x and y have the values m and n.
Having sufficient power to state non-knowledge has always been the
main problem for me in devising a suitable formalism.
Introducing formulas as the objects of knowledge is possible,
but it has the disadvantages that Montague and other philosophers and
logicians have pointed out. I prefer abstract objects called
propositions which keeps us in first order logic. With the aid
of abstract syntax (do you know about it), we can import as much
of the logic into these propositions as is convenient.
Quantifying in can be handled in the formalism by providing (or defining
with the aid of the abstract syntax) a substitution operator that
is used explicitly.
I don't understand the statement about not being in the
business of duplication of reality.
I agree with the idea that the metatheory should be included
in the theory itself, but then we have to get around Montague's
paradoxes, and I think this can be done by some trick analogous to
the restrictions on comprehension in ZF, but applied to what sentences
can be objects of knowledge. Perhaps the restriction would involve
the ranges of the quantifiers that could occur in such sentences.
I also don't understand about "mathematical ACTION".
∂06-Mar-80 0059 JMC Sloman
To: bobrow at PARC-MAXC
I heard that Aaron Sloman asked you about travel support, and it
makes me wonder whether he got my letter offering him support to
come to our conference. When did he make this inquiry, and was
it from his home base? Also what phone numbers do you have for
him, especially a home phone?
∂06-Mar-80 0224 JMC
To: PJH
Please make Tiki reservation starting Sunday night for Sloman.
∂06-Mar-80 1034 JMC
To: csd.golub at SU-SCORE
I think we might increase the number a bit. I assume you meant
"People's Republic of China" which is the mainland not "Republic
of China" which means Taiwan. Republic of China can be treated
in the usual way, I would think. As for the People's Republic,
judging from the case of Yue, it seems to work to admit them to
the Master's program, and then see if they work out there.
I hope there are a few good students who will take an interest
in AI theory - preferably with some background in logic.
∂06-Mar-80 1036 JMC
To: bobrow at PARC-MAXC
Thanks. I asked for a home number, so I could call him during working
hours, but I stayed up late enough to call him at work.
∂06-Mar-80 1053 JMC
To: JK
(b) "A Paradox Regained" with David Kaplan, Notre Dame Journal 1960 and
Syntactical Treatments of Modality, with Corollaries on Reflexion
Principles and Finite Axiomatizability in Acta Philosophica Fennica 1963.
Both papers are reprinted in his posthumous Formal Philosophy, Yale
University Press, 1974.
(a) Abstract syntax is introduced in my "Towards a Mathematical
Science of Computation" proceedings International Congress on
Information Processing 1962. Its not a deep idea. Instead of
regarding wffs and their parts as strings, we can regard them
as elements of an abstract space with predicates and functions
to test them and taket them apart and put them together. If one
is using FOL, one can define the domains abstractly and not have
to deal with FOL formulas.
∂06-Mar-80 1054 JMC
To: DBL at SU-AI
I didn't have a strong enough reaction to justify action.
∂06-Mar-80 1634 JMC
To: MP
Look up Irene Miller in PHON and have this lawyer ask her.
∂06-Mar-80 1654 JMC 4331
To: EAF at SU-AI, FB at SU-AI
I briefly had an account on the 4331, but they cancelled it again.
I understand it was on instructions from Friedl or Flatt. The project
has always been of marginal value, and it is now my opinion that
the Computer Science Department has better uses for the space it
occupies.
∂06-Mar-80 1847 JMC
To: LGC
No. Better just mention a personal conversation.
∂06-Mar-80 2313 JMC your project
To: LB
As I recall, the project is for credit and this quarter. Therefore,
unless you wish to extend the formal part or just postpone its
conclusion, there should be a writeup. I don't care how short it
is, but it should be written for someone with no previous acquaintance
with the project and in good English, and it should explain clearly
what you have done, why, and the results. Perhaps, as G. H. Hardy
might have said, if I knew your previous writing, I wouldn't speak
"like a missionary lecturing to cannibals, but with a decent terseness
and restraint". However, the null hypothesis is that many people
like computing, because it permits them to write only to the computer.
∂07-Mar-80 1056 JMC
To: berliner at CMU-10A
CC: ef at MIT-AI
In my opinion, offering the prize at a time when AI is so far from being
able to deliver creates expectations that will lead to disappointment
and recrimination. Also the work put into negotiating with FIDE might
better be spent in science. Modest suggestion: put off even the negotiation
till a program reaches the master level. It will take less time then,
because FIDE will take it more seriously then. In any case, include me
out.
∂07-Mar-80 1126 JMC
To: HVA
biojmc[j,pat]
∂07-Mar-80 1726 JMC
To: EGL
Please send the tape to Deakins at the address given in the letter
I gave Hersche and send a suitable cover letter. Be sure the return
address and a card with the tape identify who sent it to them.
Thanks.
∂11-Mar-80 2059 JMC
To: EGL
Yes, please send out the travel expense forms. Thanks for the messages.
∂11-Mar-80 2113 JMC mental.xgp
To: EGL
Please print a copy of MENTAL.XGP[W80,JMC] and send it to Professor Allen Newell
Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA.
It has 26 pages. Please check for gross blemishes and if necessary reprint
the file.
∂11-Mar-80 2117 JMC AI Memo 326
To: newell at CMU-10A
A somewhat corrected copy will be mailed today. If you are in a hurry,
the file is MENTAL[F76,JMC].
∂12-Mar-80 0000 JMC
To: ME
I notice that the date in who changes before the time. Can it cause bugs?
∂12-Mar-80 0223 JMC
To: ME
On my Imlac tonight, the date changed to Wednesday, but the time
remained at 23:59 for perhaps 30 seconds. If this isn't just an
artifact of the wholine program, it might cause bugs in the dates
and times attached to files.
∂12-Mar-80 1126 JMC FILE
To: EGL
Please print two copies of PSYCHO.NS[W80,JMC] and send one to
Judith Wallerstein at CASBS and the other to me at CASBS.
∂12-Mar-80 1258 JMC
To: LES
Right.
∂12-Mar-80 1259 JMC
To: LES
The offer should explicitly mention using the computer as part of the job.
∂12-Mar-80 1301 JMC
To: LES
Wait till I come in. I'll see you arount 4:30.
∂12-Mar-80 1356 JMC
To: EGL
Thanks. I'll be in late this afternoon.
∂13-Mar-80 0126 JMC skyhook
To: LLW at SU-AI, RAH at SU-AI, minsky at MIT-AI
Yes, I got your messages. I have not been communicating because I
was trying to do my share of the calculations, but since they are
physics calculations, I have been making slow progress, and maybe
I should leave physics to the physicists. Specifically, I was trying
to compute the angles of deflection of the cannonball streams as
a function of velocity for the hexagonal and other skyhook configurations
taking the elliptical orbits into account. I still don't have it.
I am impressed by your progress, and maybe I will try to write
an outline this weekend as well as thinking about more configurations.
It seems to me that the most difficult problem for the readers will
be convincing them that the losses can be kept small enough even
with superconducting deflectors. I must confess that I don't understand
the physics of the deflectors yet.
It would be worthwhile to design an experiment aimed at demonstrating
the maintenance of a steady stream with acceptable losses. Even if
the tower were only a meter high with up and down going streams, the
experiment would contribute to confidence in the scheme. Would it cost
more than a few tens of thousands of dollars, and is it within range
of Livermore discretionary funds?
∂13-Mar-80 1547 JMC
To: TOB
Yes if you are in a position to look for one.
∂13-Mar-80 1634 JMC
To: HVA
Thanks.
∂14-Mar-80 0355 JMC prototype
To: LLW, RAH
The simplest prototype is a perpetually bouncing ball. Next comes a
very fast ball bouncing between two deflectors. How hard would these
be to realize?
∂15-Mar-80 1447 JMC
To: CLT
I'll be in in about an hour.
∂15-Mar-80 1641 JMC NSF renewal
To: HVA, LES
RENEW.PRO[W80,JMC] is the proposal for renewing my NSF
and supplementing by paying Doyle's salary. It needs a
budget with the supplement segregated from the simple renewal.
The numbers on the front must match the budget.
It should get out this week.
∂15-Mar-80 1834 JMC offer
To: doyle at MIT-AI
A hitch developed with money, but it's resolved. We should be able
to mail the offer Monday.
∂15-Mar-80 2056 JMC
To: minsky at MIT-AI, LLW at SU-AI, RAH at SU-AI
How about you all coming to dinner Saturday night?
∂16-Mar-80 1214 JMC
To: minsky at MIT-AI
I don't know any Shell and neither does the system. Do you know whom
he might be visiting? By the way, how about dinner Saturday night
as per previous message?
∂16-Mar-80 1903 JMC
To: marimont at SRI-KL
Memo is in my office in mjh for you to pick up from secretary.
∂16-Mar-80 2144 JMC searle
To: DCD
Could I persuade you to look at the last page of SEARLE[W80,JMC] before
I send it to BBS. I want to be brief but not cryptic.
∂16-Mar-80 2146 JMC
To: PB
If you still need the afore-mentioned argument phone 321-7580.
∂16-Mar-80 2240 JMC Marchuk
To: feigenbaum at SUMEX-AIM
Did you notice that Marchuk has succeeded Kirillin has head of
the State Committee for Science and Technology and Deputy Premier.
∂17-Mar-80 0126 JMC
To: boyer at SRI-KL, moore at SRI-KL
Many thanks for the copy of your book.
∂17-Mar-80 1128 JMC
To: siegman at SUMEX-AIM
XGP willing, you'll have it.
∂17-Mar-80 0744 Siegman at SUMEX-AIM Symposium paper
Date: 17 Mar 1980 0740-PST
From: Siegman at SUMEX-AIM
Subject: Symposium paper
To: bair, mccarthy at SAIL
cc: sandelin
John, Jim passed me a copy of "The Real Computer Revolution" which I
have just glanced at. Before it goes into the collection that will
be reproduced for attendees at the symposium next week, I've asked
for three minor changes:
1) p. 11, "...IBM which has generously invited me to this symposium."
delete rest of sentence following I"IBM".
2) p. 12 "...Lewis Branscomb gave an interesting example this morning..."
delete "this morning."
3) p. 13-- delete questions and answers following presentation
(from earlier talk)
Jane Marcus is assembling the outlines and/or papers the speakers have
sent--I have told her to make these changes with liquid paper as
a last resort. If you could regenerate p. 11 and 13 minus
those references and send via ID mail to Jane at Cedar Hall, that
would make for much cleaner look. Thanks - Jeannie Siegman
-------
∂17-Mar-80 1129 JMC paper
To: siegman at SUMEX-AIM
Sorry about sending back whole page. Message was "XGP willing, you'll have
it".
∂17-Mar-80 1210 JMC
To: bair at SUMEX-AIM
CC: siegman at SUMEX-AIM
My impression agreed with yours, and I was preparing a different
paper. When I received the Siegman message I was confused and
supposed I was being let off easy. It will be ready soon.
∂17-Mar-80 1845 JMC
To: JMC
call martha (preferably before mdnight)
∂18-Mar-80 1130 JMC
To: BS at SU-AI
Please hold it a bit longer. I'm going to Bakersfield today, and I'll
try to take care of deciding between Lynn Larson and Frances Larson
tomorrow.
∂18-Mar-80 1131 JMC
To: EGL
Tomorrow, I hope.
∂19-Mar-80 1424 JMC
To: REG
I suppose we should wait for Tim, although we could offer to lend
him equipment until his gets fixed.
∂19-Mar-80 1513 JMC dinner
To: HPM
CC: LLW
Marvin Minsky, Lowell Wood and Rod Hyde are coming to dinner Saturday.
Will you still be around, and would you like to come if so?
∂19-Mar-80 1521 JMC
To: forward at USC-ECL
CC: minsky at MIT-AI, LLW at SU-AI, RAH at SU-AI, HPM at SU-AI
You're welcome to inform Clarke as far as I am concerned. The name
"dynamic compression" also occurred to me, but it reminded me of
the "dynamic tension" of the Charles Atlas ads, so perhaps we should
inform the ghost of Charles Atlas.
∂19-Mar-80 1538 JMC people interested in formalized legal reasoning
To: gardner at SUMEX-AIM
Frank Zimring from U. Chicago, who is here at CASBS this year,
mentioned other people interested in formalization of legal
reasoning. Ewart Thomas from Stanford Sociology, here at CASBS
this year, and Leah Brillmeyer, U. of Chicago Law School, is
also working in that direction.
∂19-Mar-80 1647 JMC
To: minsky at MIT-AI
csd.Vanderschel@score
∂19-Mar-80 1836 JMC
To: TOB
it is biojmc[pat,jmc].
∂20-Mar-80 2155 JMC
To: LES
Let's try (1), (2) and (3) in that order.
∂20-Mar-80 2157 JMC
To: HVA
OK and thanks, Hersche.
∂20-Mar-80 2237 JMC
To: HPM
RSVP on Saturday dinner invitation.
∂21-Mar-80 0011 JMC
To: HPM
Tomorrow will be fine.
∂21-Mar-80 0024 JMC
To: DCD
Do you know Martin Ringle's current address?
∂21-Mar-80 1054 JMC
To: siegman at SUMEX-AIM
I will call Jane Marcus. It should be ready today - probably by noon.
∂21-Mar-80 1055 JMC
To: JRA
Yes, I guess I'm too busy for reviewing, and I always do it badly.
∂21-Mar-80 1100 JMC
To: EGL
Please pub and print ringle.le1.
∂21-Mar-80 1204 JMC
To: siegman at SUMEX-AIM
Not by noon but this afternoon.
∂21-Mar-80 1614 JMC
To: sandelin at SUMEX-AIM
Dinner probable but what day?
∂21-Mar-80 1644 JMC
To: sandelin at SUMEX-AIM
I think I can't but I'll know Monday.
∂21-Mar-80 1755 JMC
To: HVA
Can we get a key to the building to John Haugeland at CASBS?
∂21-Mar-80 1756 JMC
To: sandelin at SUMEX-AIM
Alas, I have a banquet Tuesday night.
∂21-Mar-80 1808 JMC
To: doyle at MIT-AI
Letter mailed.
∂21-Mar-80 1810 JMC Alcoa unrestricted
To: TOB
If the ALCOA $5K or maybe even $10K is truly unrestricted, then
I would propose using it for the storekeeper project or for an
application like wire wrapping or envelope stuffing. I believe
a little bread thrown upon this particular pond will be returned
manyfold eventually.
∂21-Mar-80 1927 JMC
To: HPM
Thanks, but how did you come upon the message?
∂21-Mar-80 2230 JMC
To: LLW, RAH, HPM
Please come at 6:30pm if convenient.
∂22-Mar-80 1225 JMC
To: HVA
You can MAIL JCH when it is available, but I don't see that a building
key is too special to send by ID mail.
∂22-Mar-80 2243 JMC
To: kanerva at SUMEX-AIM
The file is OFFICE[W80,JMC], you can ftp it to any
convenient computer. I would like a copy back with
each correction annoated with some special character, say &.
I don't mind it being included in the COST reprt. Les Earnest
and I may want to publish an expanded version. We can certainly
print a revised version Monday am, but for safety, a version
should be printed tomorrow just in case the XGP fails Monday.
∂23-Mar-80 1415 JMC
To: kanerva at SUMEX-AIM
I tried to ftp file back, but it demanded a password.
∂24-Mar-80 0044 JMC OFFICE
To: KANERVA at SUMEX-AIM
office.2[w80,jmc] incorporates almost all of both sets of corrections.
A pubbed and printed copy is in my secretary's office.
∂24-Mar-80 1337 JMC
To: csd.hill at SU-SCORE
Yes, please install liquid chalk board.
∂24-Mar-80 1338 JMC
To: MRC at SU-AI
Is there a way mail to me at SCORE can be auto-forwarded to SAIL?
∂24-Mar-80 1532 JMC bbs address
To: JCH
Do you have the complete BGS address, and it Harnad still the editor?
∂24-Mar-80 1533 JMC
To: JCH
That was BBS, of course.
∂24-Mar-80 1644 JMC
To: FFL
They may not recognize JMC. If you put "from John McCarthy" on it, that
will suffice.
∂24-Mar-80 1646 JMC
To: FFL
For future reference, that's Raj Reddy, a former
∂24-Mar-80 1701 JMC
To: FFL
Please print SEARLE.XGP[W80,JMC] and make 40 copies.
∂24-Mar-80 1847 JMC
To: CET at SU-AI
It's in your box.
∂24-Mar-80 1848 JMC
To: FFL
I came in and printed SEARLE.XGP myself.
∂25-Mar-80 1217 JMC
To: MRC at SU-AI
Thanks Mark.
∂25-Mar-80 1403 JMC
To: newell at CMU-10A
The book is indeed s said to be published, although I haven't received
my copy. The version that was printed as an AI Memo was a draft
printed by mistake. Therefore I tried and hope I succeeded in
having you sent the version that I hope was printed in the book.
I'll reply to your substantive comments later.
∂25-Mar-80 1457 JMC letter and paper
To: FFL
HARNAD.XGP[LET,JMC] is a letter and SEARLE.XGP[W80,JMC] is a one page
paper. Please print them next time the XGP is working and make an
envelope.
∂25-Mar-80 1502 JMC
To: newell at CMU-10A
Now that I have had time to read your note fully all I can say is that
I look forward to reading the paper.
∂27-Mar-80 1706 JMC
To: SEK
Can you find a copy of this?
McCarthy, John\A time sharing operator program for our projected IBM 709\unknown\
Jan. 1959\2 copies\time sharing. (GEN)
∂28-Mar-80 1257 JMC
To: bern at MIT-DMS
Jmc: It seems to me that you exaggerate the effects of self-interest
on people's behavior, perhaps through not understanding the mechanism
by which self-interest affects behavior. Time-sharing services are
not a natural monopoly, so for your horror story to come to pass,
you have to figure out how someone is to develop the self-righteousness
and political power to make it a monopoly. It is easy to see that
a dictatorship of either the right or left could find reasons for
preventing misleading publication, but I can't see it happening
in a society that otherwise permits uncensored publication.
The polling problem is more complicated than it seems, because
the question arises of who gets to formulate the issues on which
polling takes place. The Swedish nuclear referendum is a case
in point where the parties mixed the issue of capitalism vs.
socialism with the nuclear issue, and also left no option for
the unabashed nuclear enthusiast.
I would like to be on the mailing list, and I am pleased to have
people read the paper which is one of many "position papers" that
I have in the computer. It would be nice to receive a message
when someone FTPs the paper just to get an estimate of readership.
∂28-Mar-80 1423 JMC
To: JCH, AS
See what you think of challe[w80,jmc].
∂28-Mar-80 2300 JMC your challenges
To: AS
It seems to me that your challenges are technical challenges to AI
research rather than conceptual challenges. My idea was that AI could
benefit from interaction with philosophers by getting conceptual
challenges to the epistemological ideas implicit in the approaches used.
For example, do the recent discussions on "natural kinds" have
implications for AI? My guess on this is that AI practice is
unsophisticated enough so that the issues don't actually arise. Thus a
symbol has properties on its property list, but it doesn't make a
difference for the jpresent applications whether they constitute a
definition by descriptions.
∂29-Mar-80 1621 JMC various
To: AS
1. apostrophe is <top>i.
2. stopping printout is done by <ctrl>o on some terminals and by
<escape>o in others. The former, as you are aware, involves typing
o while holding <ctrl>, while <escape>o is sequential. Try both.
3. I was trying to concentrate attention on problems towards which
present day analytic philosophy might contribute a challenge.
It is also worthwhile to think up challenges not coming from that
source.
∂30-Mar-80 0134 JMC
To: AS
Your are right about <ctrl>break, etc. It works to control typeout
but not to control display programs.
∂30-Mar-80 0138 JMC
To: AS
No need to worry about telephone charges, but we aren't supposed
to use the phones in the office for anything but calling the
computer since most offices don't have phones. Local calls
do no real harm, but the phone in the library is available on
weekends, and you should get a key to it on Monday.
∂30-Mar-80 1529 JMC address space
To: doyle at MIT-AI
I have discussed with Feigenbaum the address space problem, and
we have agreed to emphasize the use of our two VAXen for large
address LISP. One will have 4 megabytes and the other 5, but these
can be expanded. What is your estimate of requirements for the
near future? Both VAXen will be on the Ethernet and will be reachable
from all office and all home terminals.
∂30-Mar-80 1556 JMC
To: TOB
What is first initial of Riseman at U.Mass.?
∂30-Mar-80 1603 JMC Binford letter
To: LES
BINFOR.RE1 is a letter soliciting letters about Binford in connection
with his proposed promotion to Adjunct Professor. Would you direct
Frances Larson in pubbing it?
∂30-Mar-80 1608 JMC
To: LES
Remember we don't want to solicit comparisons of Binford with themselves.
∂30-Mar-80 2008 JMC imlac
To: ROY
It's now unusable, because of character garbling
and screen clearing. It isn't clear whether
it's the imlac or the line. Please check it
out again Tuesday. I'll call Monday.
∂31-Mar-80 0051 JMC
To: LGC
Sorry I missed your message about picking up the listing.
∂31-Mar-80 0059 JMC
To: LGC
Please don't distribute SNAPOV.TXT in its present form.
∂31-Mar-80 0112 JMC
To: CG
Please phone at earliest convenience Monday.
∂31-Mar-80 0923 JMC
To: LGC
Please don't show SNAPOV to Engelmore till we talk.
∂31-Mar-80 1102 JMC
To: engelmore at USC-ISI
We were expecting you today. Are you still coming?
∂31-Mar-80 1220 JMC
To: LGC
Engelmore is here. General session with him will begin about 2.
∂31-Mar-80 2326 JMC
To: AS
Sure, go to San Diego
∂01-Apr-80 2043 JMC
To: LES
Well, everything has to paid for somehow. We could ask him to buy a slice,
we could trade it to CMU for something, perhaps just courtesy or we could
ask Richard whether he wants to support him out of his slice. Perhaps you
could find his reference or ask him to say where we can FTP it from.
∂01-Apr-80 2046 JMC
To: ES
Unfortunately, my leg is still out of order, and I'm out of condition
from lack of running. I doubt I'll be climbing before summer.
∂01-Apr-80 2111 JMC
To: FFL
Please pub and print randel.le1.
∂01-Apr-80 2123 JMC Light in Frances's office
To: HVA
CC: FFL
It is incredibly noisy, so I suppose she doesn't use it in daytime. Still
it must be fixed, and Carolyn or I sometimes use the office at night when
we are both here.
∂01-Apr-80 2154 JMC
To: LES
∂01-Apr-80 2140 LES
∂01-Apr-80 2043 JMC
Well, everything has to paid for somehow. We could ask him to buy a slice,
we could trade it to CMU for something, perhaps just courtesy or we could
ask Richard whether he wants to support him out of his slice. Perhaps you
could find his reference or ask him to say where we can FTP it from.
-------
This must be the answer to something. What was the question?
It concerned a request for an account from IRWIN.MARIN%CMU.